// worker2.js
